Park, SeungJoon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Experience with Applying Formal Methods to Protocol Specification and System Architecture

Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phamndra K. Mannava, Seungjoon Park

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 71 KB

english, 2003

2

Topological QCD

Seungjoon Hyun, Jaemo Park, Jae-Suk Park

Journal:

Nuclear Physics B

Year:

1995

Language:

english

File:

PDF, 1.23 MB

english, 1995

3

An executable specification and verifier for relaxed memory order

Seungjoon Park, Dill, D.L.

Journal:

IEEE Transactions on Computers

Year:

1999

Language:

english

File:

PDF, 196 KB

english, 1999

4

[IEEE 2014 27th International Vacuum Nanoelectronics Conference (IVNC) - Engelberg, Switzerland (2014.7.6-2014.7.10)] 2014 27th International Vacuum Nanoelectronics Conference (IVNC) - A super-miniaturized X-ray tube based on carbon nanotube field emitters

Kim, Jae-Woo, Jeong, Jin-Woo, Choi, Sungyoul, Kang, Jun-Tae, Min-Sik Shin,, Sora Park,, Ahn, Seungjoon, Song, Yoon-Ho

Year:

2014

Language:

english

File:

PDF, 473 KB

english, 2014

5

[IEEE 2006 Digest of Technical Papers International Conference on Consumer Electronics - Las Vegas, NV, USA (07-11 Jan. 2006)] 2006 Digest of Technical Papers International Conference on Consumer Electronics - Edge-Preserving Spatial Deinterlacing for Still Images Using Block-Based Region Classification

Sung-Ho Hong,, Rae-Hong Park,, Seungjoon Yang,, Jun-Yong Kim,

Year:

2006

Language:

english

File:

PDF, 103 KB

english, 2006

6

[ACM Press the third workshop - Portland, Oregon, United States (2000..-..)] Proceedings of the third workshop on Formal methods in software practice - FMSP '00 - Using predicate abstraction to reduce object-oriented programs for model checking

Visser, William, Park, SeungJoon, Penix, John

Year:

2000

Language:

english

File:

PDF, 376 KB

english, 2000

7

[IEEE IEEE GLOBECOM 1998 - Sydney,NSW,Australia (8-12 Nov. 1998)] IEEE GLOBECOM 1998 (Cat. NO. 98CH36250) - Performance analysis of queueing shemes for multiple priorities in multiservice PCS

DongChun Lee,, SeungJoon Park,, JooSeok Song,

Year:

1998

Language:

english

File:

PDF, 335 KB

english, 1998

8

Effects of Rebamipide on Gastrointestinal Symptoms in Patients with Type 2 Diabetes Mellitus

Park, Sejeong, Park, So Young, Kim, Yu Jin, Hong, Soo Min, Chon, Suk, Oh, Seungjoon, Woo, Jeong-taek, Kim, Sung-Woon, Kim, Young Seol, Rhee, Sang Youl

Journal:

Diabetes & Metabolism Journal

Year:

2016

Language:

english

File:

PDF, 851 KB

english, 2016

9

[IEEE GLOBECOM 97. IEEE Global Telecommunications Conference. Conference Record - Phoenix, AZ, USA (3-8 Nov. 1997)] GLOBECOM 97. IEEE Global Telecommunications Conference. Conference Record - Querying user location using call locality relation in hierarchically distributed structure

SeungJoon Park,, ChangYong Yang,, DongChun Lee,, JooSeok Song,

Year:

1997

File:

PDF, 449 KB

1997

10

Rapid genotypic detection of Bacillus anthracis and the Bacillus cereus group by multiplex real-time PCR melting curve analysis

Kijeong Kim, Juwon Seo, Katherine Wheeler, Chulmin Park, Daewhan Kim, Seungjoon Park, Wonyong Kim, Sang-In Chung, Terrance Leighton

Journal:

FEMS Immunology & Medical Microbiology

Year:

2005

Language:

english

File:

PDF, 426 KB

english, 2005

11

N = 2 topological Yang-Mills theories and Donaldson's polynomials

Seungjoon Hyun, Jae-Suk Park

Journal:

Journal of Geometry and Physics

Year:

1996

Language:

english

File:

PDF, 1.31 MB

english, 1996

12

Image interpolation using interpolative classified vector quantization

Sung-Ho Hong, Rae-Hong Park, Seungjoon Yang, Jun-Yong Kim

Journal:

Image and Vision Computing

Year:

2008

Language:

english

File:

PDF, 6.77 MB

english, 2008

13

Covariant description of D-branes in IIA plane-wave background

Seungjoon Hyun, Jaemo Park, Hyeonjoon Shin

Journal:

Physics Letters B

Year:

2003

Language:

english

File:

PDF, 115 KB

english, 2003

14

DTI studies in patients with Alzheimer's disease, mild cognitive impairment, or normal cognition with evaluation of the intrinsic background gradients

Geon-Ho Jahng, Songfan Xu, Micheal W. Weiner, Dieter J. Meyerhoff, Seungjoon Park, Norbert Schuff

Journal:

Year:

2011

Language:

english

File:

PDF, 409 KB

english, 2011

15

Verifying Time Partitioning in the DEOS Scheduling Kernel

John Penix, Willem Visser, SeungJoon Park, Corina Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 3.83 MB

english, 2005

16

Effect ofgsponcogene on somatostatin receptor subtype 1 and 2 mRNA levels in GHRH-responsive GH3 cells

Eunhee Kim, Sookjin Sohn, Mina Lee, Cheolyoung Park, Jeechang Jung, Seungjoon Park

Journal:

Year:

2005

Language:

english

File:

PDF, 431 KB

english, 2005

17

Neuroprotective Effect of Ghrelin in the 1-Methyl-4-Phenyl-1,2,3,6-Tetrahydropyridine Mouse Model of Parkinson’s Disease by Blocking Microglial Activation

Minho Moon, Hyo Geun Kim, Lakkyong Hwang, Ji-Hyung Seo, Sehee Kim, Sunyoung Hwang, Soonyong Kim, Dahm Lee, Hyunju Chung, Myung Sook Oh, Kyung-Tae Lee, Seungjoon Park

Journal:

Neurotoxicity Research

Year:

2009

Language:

english

File:

PDF, 769 KB

english, 2009

18

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park, Flavio Lerda

Journal:

Automated Software Engineering

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

19

Protective effects of ghrelin in hypothalamic neuronal cells exposed to ischemic injury

Hyun-Ju Chung, Sang-Hee Seo, Sung-Hee Ju, Dahm Lee, Eun-Hee Kim, Seungjoon Park

Journal:

Frontiers in Neuroendocrinology

Year:

2006

Language:

english

File:

PDF, 49 KB

english, 2006

20

Topological B-model and string theory

Seungjoon Hyun, Kyungho Oh, Jong-Dae Park, Sang-Heon Yi

Journal:

Nuclear Physics B

Year:

2005

Language:

english

File:

PDF, 349 KB

english, 2005

21

P-107 Discrepancy of the prevalence of metabolic syndrome between the ATP III and IDF criteria in Korean subjects with Type 2 diabetes mellitus

Sang Youl Rhee, Seungjoon Oh, Jae Myung Yu, Jae Hwan Jee, Moon Kyu Lee, Kyong Soo Park, Hong Kyu Lee, Kyung Ho Lim, EunSeok Kang, Hyun Chul Lee, Yong Sung Kim, Jae Taek Kim, Soon Hyun Shinn, Woong Hwa

Journal:

Diabetes Research and Clinical Practice

Year:

2008

Language:

english

File:

PDF, 61 KB

english, 2008

22

Increased expression of p53 and Bax in the spinal cords of rats with experimental autoimmune encephalomyelitis

Changjong Moon, Seungjoon Kim, Myungbok Wie, Heeseok Kim, Jongtae Cheong, Junhong Park, Youngheun Jee, Naoyuki Tanuma, Yoh Matsumoto, Taekyun Shin

Journal:

Neuroscience Letters

Year:

2000

Language:

english

File:

PDF, 342 KB

english, 2000

23

Adaptive motion-compensated interpolation for frame rate up-conversion

Sung-Hee Lee, Yoon-Cheol Shin, Seungjoon Yang, Heon-Hee Moon, Rae-Hong Park

Journal:

IEEE Transactions on Consumer Electronics

Year:

2002

Language:

english

File:

PDF, 807 KB

english, 2002

24

Block-based noise estimation using adaptive Gaussian filtering

Dong-Hyuk Shin, Rae-Hong Park, Seungjoon Yang, Jae-Han Jung

Journal:

IEEE Transactions on Consumer Electronics

Year:

2005

Language:

english

File:

PDF, 5.61 MB

english, 2005

25

A wavelet packet-based noise reduction algorithm of NTSC images using CVBS characteristics

Bo Ra Lim, Hyun Seung Lee, Rae-hong Park, Seungjoon Yang

Journal:

IEEE Transactions on Consumer Electronics

Year:

2009

Language:

english

File:

PDF, 13.90 MB

english, 2009

26

Ghrelin protects spinal cord motoneurons against chronic glutamate-induced excitotoxicity via ERK1/2 and phosphatidylinositol-3-kinase/Akt/glycogen synthase kinase-3β pathways

Eunjin Lim, Sungyoub Lee, Endan Li, Yumi Kim, Seungjoon Park

Journal:

Experimental Neurology

Year:

2011

Language:

english

File:

PDF, 1.58 MB

english, 2011

27

Automatic checking of aggregation abstractions through state enumeration

Seungjoon Park, Das, S., Dill, D.L.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2000

Language:

english

File:

PDF, 169 KB

english, 2000

28

Ghrelin stimulates proliferation, migration and differentiation of neural progenitors from the subventricular zone in the adult mice

Li, Endan, Kim, Yumi, Kim, Sehee, Sato, Takahiro, Kojima, Masayasu, Park, Seungjoon

Journal:

Experimental Neurology

Year:

2014

Language:

english

File:

PDF, 1.80 MB

english, 2014

29

Ghrelin Inhibits Apoptosis in Hypothalamic Neuronal Cells during Oxygen-Glucose Deprivation

Chung, Hyunju, Kim, Eunhee, Lee, Dae Hee, Seo, Sanghee, Ju, Sunghee, Lee, Dahm, Kim, Hocheol, Park, Seungjoon

Journal:

Year:

2007

Language:

english

File:

PDF, 811 KB

english, 2007

30

Ghrelin protects spinal cord motoneurons against chronic glutamate-induced excitotoxicity via ERK1/2 and phosphatidyl-3-kinase/Akt/glycogen synthase kinase-3beta pathways

Kim, Yumi, Lim, Eunjin, Lee, Sungyoub, Li, Endan, Park, Seungjoon

Journal:

Neuroscience Research

Year:

2011

Language:

english

File:

PDF, 111 KB

english, 2011

31

Ghrelin has direct stimulatory effects in rat adult hippocampal progenitor cells. Ghrelin promotes proliferation and differentiation of rat adult hippocampal progenitor cells and regulates cell-cycle gene expression

Li, Endan, Chung, Hyunju, Lee, Sungyoub, Kim, Yumi, Lim, Eunjin, Park, Seungjoon

Journal:

Neuroscience Research

Year:

2011

Language:

english

File:

PDF, 105 KB

english, 2011

32

Role of endogenous somatostatin in regulating GH output under basal conditions and in response to metabolic extremes

Luque, Raul M., Park, Seungjoon, Kineman, Rhonda D.

Journal:

Molecular and Cellular Endocrinology

Year:

2008

Language:

english

File:

PDF, 328 KB

english, 2008

33

Hepatoprotective effects of Lycium chinense Miller fruit and its constituent betaine in CCl4-induced hepatic damage in rats

Ahn, Meejung, Park, Jong Sang, Chae, Sungwook, Kim, Seungjoon, Moon, Changjong, Hyun, Jin Won, Shin, Taekyun

Journal:

Acta Histochemica

Year:

2014

Language:

english

File:

PDF, 2.65 MB

english, 2014

34

Quasi-local charges and asymptotic symmetry generators

Seungjoon Hyun,Sang-A Park,Sang-Heon Yi

Journal:

Journal of High Energy Physics

Year:

2014

Language:

english

File:

PDF, 446 KB

english, 2014

35

[IEEE International Conference on Image Processing - Barcelona, Spain (14-17 Sept. 2003)] Proceedings 2003 International Conference on Image Processing (Cat. No.03CH37429) - Contrast enhancement using histogram equalization with bin underflow and bin overflow

Seungjoon Yang,, Jae Hwan Oh,, Yungfun Park,

Year:

2003

Language:

english

File:

PDF, 312 KB

english, 2003

36

Homologous and Heterologous Regulation of Pituitary Receptors for Ghrelin and Growth Hormone-Releasing Hormone

Luque, Raúl M., Kineman, Rhonda D., Park, Seungjoon, Peng, Xiao-Ding, Gracia-Navarro, Francisco, Castaño, Justo P., Malagon, María M.

Journal:

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

37

[IEEE 2002 Digest of Technical Papers. International Conference on Consumer Electronics - Los Angeles, CA, USA (18-20 June 2002)] 2002 Digest of Technical Papers. International Conference on Consumer Electronics (IEEE Cat. No.02CH37300) - Adaptive motion-compensated interpolation for frame rate up-conversion

Sung-Hee Lee,, Seungjoon Yang,, You-Young Jung,, Rae-Hong Park,

Year:

2002

Language:

english

File:

PDF, 247 KB

english, 2002

38

[IEEE 2008 International Conference on Consumer Electronics (ICCE) - Las Vegas, NV, USA (2008.01.9-2008.01.13)] 2008 Digest of Technical Papers - International Conference on Consumer Electronics - Superresolution of a Region of Interest Using Feature-Based Affine Motion Estimation

Kim, Sung Hyun, Park, Rae-Hong, Yang, Seungjoon

Year:

2008

Language:

english

File:

PDF, 522 KB

english, 2008

39

Glabridin Alleviates Methylglyoxal-Induced Cytotoxicity in Osteoblastic MC3T3-E1 Cells by increasing Glyoxalase System, Nrf2/HO-1 Signaling and Mitochondrial Function

Suh, Kwang Sik, Choi, Eun-Mi, Jung, Woon-Won, Kim, Hyun-Sook, Hong, Soo Min, Park, So Young, Chon, Suk, Rhee, Sang Youl, Oh, Seungjoon, Woo, Jeong-Taek, Kim, Sung-woon, Kim, Young Seol

Journal:

Free Radical Biology and Medicine

Year:

2014

Language:

english

File:

PDF, 77 KB

english, 2014

40

Deoxyactein Protects Pancreatic β-Cells againstOxidative Stress and Improves Insulin Secretion in Methylglyoxal-Induced Cytotoxicity

Suh, Kwang Sik, Choi, Eun-Mi, Jung, Woon-Won, Kim, Hyun-Sook, Hong, Soo Min, Park, So Young, Rhee, Sang Youl, Chon, Suk, Oh, Seungjoon, Woo, Jeong-Taek, Kim, Sung-woon, Kim, Young Seol

Journal:

Free Radical Biology and Medicine

Year:

2014

Language:

english

File:

PDF, 77 KB

english, 2014

41

The Phosphodiesterase 3 Inhibitor, Cilostazol Attenuates the Highly Reducing Sugar-Induced Oxidative Cell Damage and Cellular Senescence in Vascular Endothelial Cells

Suh, Kwang Sik, Jung, Woon-Won, Kim, Hyun-Sook, Hong, Soo Min, Park, So Young, Rhee, Sang Youl, Chon, Suk, Oh, Seungjoon, Woo, Jeong- Taek, Kim, Sung-woon, Kim, Young Seol

Journal:

Free Radical Biology and Medicine

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

42

[IEEE 2005 Digest of Technical Papers. International Conference on Consumer Electronics, 2005. ICCE. - Las Vegas, NV, USA (2005.01.12-2005.01.12)] 2005 Digest of Technical Papers. International Conference on Consumer Electronics, 2005. ICCE. - Block-based noise estimation using adaptive Gaussian filtering

Dong-Hyuk Shin,, Rae-Hong Park,, Seungjoon Yang,, Jae-Han Jung,

Year:

2005

Language:

english

File:

PDF, 208 KB

english, 2005

43

Great improvement in adhesion and uniformity of carbon nanotube field emitters through reactive nanometer-scale SiC fillers

Kim, Jae-Woo, Jeong, Jin-Woo, Kang, Jun-Tae, Choi, Sungyoul, Park, Sora, Shin, Min-Sik, Ahn, Seungjoon, Song, Yoon-Ho

Journal:

Year:

2015

Language:

english

File:

PDF, 2.38 MB

english, 2015

44

[IEEE 2005 Digest of Technical Papers. International Conference on Consumer Electronics, 2005. ICCE. - Las Vegas, NV, USA (2005.01.12-2005.01.12)] 2005 Digest of Technical Papers. International Conference on Consumer Electronics, 2005. ICCE. - Block-based motion estimation using the pixelwise classification of the motion compensation error

Jun-Yong Kim,, Rae-Hong Park,, Seungjoon Yang,

Year:

2005

Language:

english

File:

PDF, 178 KB

english, 2005

45

Quasilocal conserved charges and holography

Hyun, Seungjoon, Jeong, Jaehoon, Park, Sang-A, Yi, Sang-Heon

Journal:

Physical Review D

Year:

2014

Language:

english

File:

PDF, 237 KB

english, 2014

46

[IEEE IEEE International Geoscience and Remote Sensing Symposium. IGARSS 2002 - Toronto, Ont., Canada (24-28 June 2002)] Proceedings. International Conference on Image Processing - Pattern matching assisted motion estimation and motion vector histogram analysis for interlaced-to-progressive conversion

Seungjoon Yang,, Youngho Lee,, Sung Hee Lee,, Rae-Hong Park,

Year:

2002

Language:

english

File:

PDF, 289 KB

english, 2002

47

[IEEE 2006 Digest of Technical Papers International Conference on Consumer Electronics - Las Vegas, NV, USA (07-11 Jan. 2006)] 2006 Digest of Technical Papers International Conference on Consumer Electronics - Noise reduction of image sequences using H. 264/AVC variable block-size motion compensation

Doo-Hyun Kim,, Rae-Hong Park,, Seungjoon Yang,

Year:

2006

Language:

english

File:

PDF, 143 KB

english, 2006

48

Expression Analysis of Hypothalamic and Pituitary Components of the Growth Hormone Axis in Fasted and Streptozotocin-Treated Neuropeptide Y (NPY)-Intact (NPY+/+) and NPY-Knockout (NPY –/–) Mice

Park, Seungjoon, Peng, Xiao-ding, Frohman, Lawrence A., Kineman, Rhonda D.

Journal:

Neuroendocrinology

Year:

2005

Language:

english

File:

PDF, 156 KB

english, 2005

49

The Growth Hormone (GH)-Axis of GH Receptor/Binding Protein Gene-Disrupted and Metallothionein-Human GH-Releasing Hormone Transgenic Mice: Hypothalamic Neuropeptide and Pituitary Receptor Expression in the Absence and Presence of GH Feedback 1

Peng, Xiao-ding, Park, Seungjoon, Gadelha, Monica R., Coschigano, Karen T., Kopchick, John J., Frohman, Lawrence A., Kineman, Rhonda D.

Journal:

Year:

2001

Language:

english

File:

PDF, 260 KB

english, 2001

50

EXTREMELY SHARP {111}-BOUND, SINGLE-CRYSTALLINE SILICON NANO TIPS

PARK, JAEHONG, PARK, KIDONG, PAIK, SEUNGJOON, KOO, KYO-IN, CHOI, BYOUNG-DOO, KIM, JONGPAL, PARK, SANGJUN, JUNG, IL-WOO, KO, HYOUNGHO, CHO, DONG-IL (DAN)

Journal:

International Journal of Computational Engineering Science

Year:

2003

Language:

english

File:

PDF, 474 KB

english, 2003